Wednesday, November 27

• Undecidability